Didier R. Buchs: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Rapid systems prototyping at RSP’06

Gabriela Nicolescu, Didier Buchs

Journal:

Microelectronics Journal

Year:

2009

Language:

english

File:

PDF, 82 KB

english, 2009

2

Dissipation of pesticides during composting and anaerobic digestion of source-separated organic waste at full-scale plants

Thomas Kupper, Thomas D. Bucheli, Rahel C. Brändli, Didier Ortelli, Patrick Edder

Journal:

Bioresource Technology

Year:

2008

Language:

english

File:

PDF, 281 KB

english, 2008

3

Perspectives in the use of coloured Petri nets for risk analysis and accident modelling

David Vernez, Didier Buchs, Guillaume Pierrehumbert

Journal:

Year:

2003

Language:

english

File:

PDF, 440 KB

english, 2003

4

MORM—A Petri Net Based Model for Assessing OH&S Risks in Industrial Processes: Modeling Qualitative Aspects

David Vernez, Didier R. Buchs, Guillaume E. Pierrehumbert, Adel Besrour

Journal:

Year:

2004

Language:

english

File:

PDF, 450 KB

english, 2004

5

Prediction of Hip Fracture Risk by Quantitative Ultrasound in More Than 7000 Swiss Women ≥70 Years of Age: Comparison of Three Technologically Different Bone Ultrasound Devices in the SEMOF Study

Marc-Antoine Krieg, Jacques Cornuz, Christiane Ruffieux, Guy Van Melle, Daniel Büche, Maximilian A Dambacher, Didier Hans, Florian Hartl, Hansjorg J Häuselmann, Marius Kraenzlin, Kurt Lippuner, Maurus

Journal:

Journal of Bone and Mineral Research

Year:

2006

Language:

english

File:

PDF, 101 KB

english, 2006

6

Operation for unstable angina pectoris: Factors influencing adverse in-hospital outcome

Yves A.G. Louagie, Jacques Jamart, Michel Buche, Philippe M. Eucher, Didier Schoevaerdts, Edith Collard, Manuel Gonzalez, Baudouin Marchandise, Jean-Claude Schoevaerdts

Journal:

The Annals of Thoracic Surgery

Year:

1995

Language:

english

File:

PDF, 833 KB

english, 1995

7

Delayed Referral and Gram-Negative Organisms Increase the Conversion Thoracotomy Rate in Patients Undergoing Video-Assisted Thoracoscopic Surgery for Empyema

Didier Lardinois, Michael Gock, Edgardo Pezzetta, Christian Buchli, Valentin Rousson, Markus Furrer, Hans-Beat Ris

Journal:

The Annals of Thoracic Surgery

Year:

2005

Language:

english

File:

PDF, 97 KB

english, 2005

8

[IEEE IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Coeur d'Alene, ID, USA (2007.09.23-2007.09.27)] IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - A domain specific language and methodology for control systems GUI specification, verification and prototyping

Risoldi, Matteo, Buchs, Didier

Year:

2007

Language:

english

File:

PDF, 410 KB

english, 2007

9

[IEEE 2014 10th International Conference on Communications (COMM) - Bucharest, Romania (2014.5.29-2014.5.31)] 2014 10th International Conference on Communications (COMM) - A self-organized key management scheme for ad hoc networks based on identity-based cryptography

Pura, Mihai Lica, Buchs, Didier

Year:

2014

Language:

english

File:

PDF, 235 KB

english, 2014

10

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios

Pura, Mihai Lica, Buchs, Didier

Year:

2014

Language:

english

File:

PDF, 194 KB

english, 2014

11

Organic pollutants in compost and digestate. : Part 2. Polychlorinated dibenzo-p-dioxins, and -furans, dioxin-like polychlorinated biphenyls, brominated flame retardants, perfluorinated alkyl substances, pesticides, and other compounds

Br?ndli, Rahel C., Kupper, Thomas, Bucheli, Thomas D., Zennegg, Markus, Huber, Sandra, Ortelli, Didier, M?ller, Josef, Schaffner, Christian, Iozza, Saverio, Schmid, Peter, Berger, Urs, Edder, Patrick,

Journal:

Journal of Environmental Monitoring

Year:

2007

Language:

english

File:

PDF, 636 KB

english, 2007

12

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - polyDD: Towards a Framework Generalizing Decision Diagrams

Linard, Alban, Paviot-Adet, Emmanuel, Kordon, Fabrice, Buchs, Didier, Charron, Samuel

Year:

2010

Language:

english

File:

PDF, 353 KB

english, 2010

13

[IEEE 2014 10th International Conference on Communications (COMM) - Bucharest, Romania (2014.5.29-2014.5.31)] 2014 10th International Conference on Communications (COMM) - Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets

Pura, Mihai Lica, Buchs, Didier

Year:

2014

Language:

english

File:

PDF, 176 KB

english, 2014

14

[ACM Press the 10th Workshop - Reno, Nevada (2010.10.17-2010.10.18)] Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM '10 - Developing domain-specific modeling languages by metamodel semantic enrichment and composition

Pedro, Luis, Risoldi, Matteo, Buchs, Didier, Amaral, Vasco

Year:

2010

Language:

english

File:

PDF, 686 KB

english, 2010

15

[IEEE 2015 15th International Conference on Application of Concurrency to System Design (ACSD) - Brussels, Belgium (2015.6.21-2015.6.26)] 2015 15th International Conference on Application of Concurrency to System Design - Building a Symbolic Model Checker from Formal Language Description

Bobeda, Edmundo Lopez, Colange, Maximilien, Buchs, Didier

Year:

2015

Language:

english

File:

PDF, 443 KB

english, 2015

16

[IEEE IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - Coeur d'Alene, ID, USA (2007.09.23-2007.09.27)] IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007) - A domain specific language and methodology for control systems GUI specification, verification and prototyping

Risoldi, Matteo, Buchs, Didier

Year:

2007

Language:

english

File:

PDF, 410 KB

english, 2007

17

TREXMO: A Translation Tool to Support the Use of Regulatory Occupational Exposure Models

Savic, Nenad, Racordon, Dimitri, Buchs, Didier, Gasic, Bojan, Vernez, David

Journal:

The Annals of Occupational Hygiene

Year:

2016

Language:

english

File:

PDF, 1.11 MB

english, 2016

18

Semantic languages for developing correct language translations

Barroca, Bruno, Amaral, Vasco, Buchs, Didier

Journal:

Software Quality Journal

Year:

2017

Language:

english

File:

PDF, 3.16 MB

english, 2017

19

[IEEE 2017 9th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) - Targoviste (2017.6.29-2017.7.1)] 2017 9th International Conference on Electronics, Computers and Artificial Intelligence (ECAI) - CTL formula evaluation by term rewriting inversion

Pura, Mihai-Lica, Aciobanitei, Iulian, Toma, Stefan-Adrian, Buchs, Didier

Year:

2017

Language:

english

File:

PDF, 455 KB

english, 2017

20

[IEEE 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Zaragoza (2017.6.25-2017.6.30)] 2017 17th International Conference on Application of Concurrency to System Design (ACSD) - Ardoises: Collaborative & Interactive Editing Using Layered Data

Linard, Alban, Buchs, Didier

Year:

2017

Language:

english

File:

PDF, 228 KB

english, 2017

21

[IEEE 2016 International Conference on Communications (COMM) - Bucharest, Romania (2016.6.9-2016.6.10)] 2016 International Conference on Communications (COMM) - Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting

Pura, Mihai Lica, Morogan, Luciana, Buchs, Didier

Year:

2016

Language:

english

File:

PDF, 191 KB

english, 2016

22

[ACM Press the 11th ACM SIGPLAN International Conference - Boston, MA, USA (2018.11.05-2018.11.06)] Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018 - A practical type system for safe aliasing

Racordon, Dimitri, Buchs, Didier

Year:

2018

Language:

english

File:

PDF, 353 KB

english, 2018

23

Pragmatic reuse for DSML development

Klikovits, Stefan, Buchs, Didier

Journal:

Software & Systems Modeling

Year:

2020

File:

PDF, 1.39 MB

2020